
char *clock_getcurrenttime();
